Régions
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Région Centre68
Michael Rusinowitch121
Région Centre Sauf Michael Rusinowitch" 59
Michael Rusinowitch Sauf Région Centre" 112
Région Centre Et Michael Rusinowitch 9
Région Centre Ou Michael Rusinowitch 180
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 9.
Ident.Authors (with country if any)Title
001A56 Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Synchronous Distributivity
001C64 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]String rewriting and security analysis: an extension of a result of Book and Otto
002153 Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification modulo Block Chaining
002D71 Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France]Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
003002 Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo Homomorphic Encryption
003F94 Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Active Intruders with Caps
004860 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Intruders with Caps
005754 Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada]Journal of Automata, Languages and Combinatorics, Vol. 11(1)
006B10 Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Unification Modulo ACUI Plus Distributivity Axioms
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022